package main;

import guiWindows.GUIYawl2Fsp;

import java.awt.Component;
import java.awt.KeyboardFocusManager;
import java.io.File;
import java.io.FileReader;
import java.io.IOException;
import java.io.InputStream;
import java.net.MalformedURLException;

import javax.swing.JDialog;
import javax.swing.JFrame;
import javax.swing.JProgressBar;
import javax.swing.UIManager;

import lts.CompositeState;
import lts.LTSCanvas;
import lts.LTSCompiler;
import lts.LTSException;
import lts.LTSInput;
import lts.RunMenu;
import lts.ltl.LTLparser;
import mediator.MainMediator;

public class main {

	public static void main(String[] args) {
		try {
			for(UIManager.LookAndFeelInfo laf:UIManager.getInstalledLookAndFeels()){
	            if("Nimbus".equals(laf.getName()))
	                try {
	                UIManager.setLookAndFeel(laf.getClassName());
	            } catch (Exception ex) {
	            }
	        }
        } catch (Exception e) {
            System.err.println("Couldn't use system look and feel.");
        }
		new MainMediator();
//		JProgressBar barraProgreso = new JProgressBar(0, 100);
//        JDialog dialogoProgreso = new JDialog();
//        dialogoProgreso.getContentPane().add(barraProgreso);
//        dialogoProgreso.pack();
//        
//        dialogoProgreso.setVisible(true);
//        Worker2 worker = new Worker2( barraProgreso);
//        worker.execute();
   	}
}
